A software/reconfigurable hardware SAT solver
نویسندگان
چکیده
منابع مشابه
Predicting SAT Solver Performance on Heterogeneous Hardware
Abstract. In recent years a lot of effort has been expended in determining if SAT solver performance is predictable. However, the work in this area invariably focuses on individual benchmarking machines, and often on individual solvers. It is unclear whether predictions made on a specific solver and benchmarking machine are accurate when translated to other solvers and hardware. In this work we...
متن کاملManySAT: a Parallel SAT Solver
In this paper, ManySAT a new portfolio-based parallel SAT solver is thoroughly described. The design of ManySAT benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their lack of robustness. ManySAT uses a portfolio of complementary sequential algorithms obtained through careful variations of the standard DPLL algorithm. Additionally, each sequentia...
متن کاملContrasat - A Contrarian SAT Solver
The SAT solver Contrasat is a small variation of the well-established Minisat solver. It was entered in the Minisat hack track of the 2011 SAT competition, and was judged to be first place in one category. This paper describes the code change and its motivation. The characterization as “contrarian” is explained. Experimental results are summarized.
متن کاملMiraXT – A Multithreaded SAT Solver
This paper briefly describes MiraXT, a multithreaded SAT solver that was designed to take advantage of current and future shared memory multiprocessor systems. The experimental results in [6] show that already in single threaded mode, MiraXT compares well to other state-ofthe-art solvers on a wide range of industrial problems. In threaded mode, it provides cutting edge performance, as speedup i...
متن کاملMidL: a SAT(ID) Solver
We introduce SAT(ID) and explain its relation both to SAT and to ASP. We then describe the SAT(ID) solver MidL. We outline its design and algorithms, and finally establish its performance by experiment.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Very Large Scale Integration (VLSI) Systems
سال: 2004
ISSN: 1063-8210,1557-9999
DOI: 10.1109/tvlsi.2004.825859